Bochvar-McCarthy Logic and Process Algebra
نویسندگان
چکیده
منابع مشابه
Bochvar-McCarthy Logic and Process Algebra
We propose a combination of Bochvar’s strict three-valued logic, McCarthy’s sequential three-valued logic, and process algebra via the conditional guard construct. This combination entails the introduction of a new constant meaningless in process algebra. We present an operational semantics in SOS-style, and a completeness result for ACP with conditional guard construct and the proposed logic.
متن کاملProcess Algebra and Hoare's Logic
A Hoare-like logic is introduced for deriving`partial correctness assertions' of the form fg p fg, where ; are unary predicates over some state space S and p is an expression over a recursive, non-uniform language containing global nondeterminism (+) and sequential composition (). This logic is (relatively) complete if only guarded recursion is considered.
متن کاملProcess Algebra and Dynamic Logic
An extension of process algebra is introduced which can be compared to (propositional) dynamic logic. The additional feature is a ‘guard’ construct, related to the notion of a test in dynamic logic. This extension of process algebra is semantically based on processes that transform data, and its operational semantics is defined relative to a structure describing these transformations via transi...
متن کاملKleene's Three-Valued Logic and Process Algebra
We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded command construct. We present an operational semantics in SOS-style, and a completeness result. 1998 Elsevier Science B.V. All rights reserved.
متن کاملRelating Reasoning Methodologies in Linear Logic and Process Algebra
We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like process calculus obtained from the formula-as-process interpretation of a fragment of linear logic. The argument makes use of other standard notions in process algebra, namely simulation and labeled transition systems. This result establishes a connection...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1998
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1039118863